Scalable Probabilistic Routes
نویسندگان
چکیده
Inference and prediction of routes have become interest over the past decade owing to a dramatic increase in package delivery ride-sharing services. Given underlying combinatorial structure incorporation probabilities, route involves techniques from both formal methods machine learning. One promising approach for predicting uses decision diagrams that are augmented with probability values. However, effectiveness this depends on size compiled diagrams. The scalability is limited its empirical runtime space complexity. In work, our contributions two-fold: first, we introduce relaxed encoding linear number variables respect vertices road network graph significantly reduce resultant Secondly, instead stepwise sampling procedure, propose single pass sampling-based prediction. evaluations arising real-world network, demonstrate resulting system achieves around twice quality suggested while being an order magnitude faster compared state-of-the-art.
منابع مشابه
Scalable Probabilistic Entity-Topic Modeling
We present an LDA approach to entity disambiguation. Each topic is associated with a Wikipedia article and topics generate either content words or entity mentions. Training such models is challenging because of the topic and vocabulary size, both in the millions. We tackle these problems using a novel distributed inference and representation framework based on a parallel Gibbs sampler guided by...
متن کاملResearch Statement Scalable Probabilistic Model Checking
The fourth industrial revolution [1] is coming, empowered by technologies including cyber-physical systems (CPS) and robotics. These systems typically involve the tight integration between distributed computational intelligence, communication networks, physical world, and human actors, providing new capabilities to improve quality of life and enabling technological advances in critical areas, s...
متن کاملScalable Multiagent Planning Using Probabilistic Inference
Multiagent planning has seen much progress with the development of formal models such as DecPOMDPs. However, the complexity of these models—NEXP-Complete even for two agents— has limited scalability. We identify certain mild conditions that are sufficient to make multiagent planning amenable to a scalable approximation w.r.t. the number of agents. This is achieved by constructing a graphical mo...
متن کاملA Scalable Probabilistic Classifier for Language Modeling
We present a novel probabilistic classifier, which scales well to problems that involve a large number of classes and require training on large datasets. A prominent example of such a problem is language modeling. Our classifier is based on the assumption that each feature is associated with a predictive strength, which quantifies how well the feature can predict the class by itself. The predic...
متن کاملScalable Probabilistic Models for 802.11 Protocol Verification
The IEEE 802.11 protocol is a popular standard for wireless local area networks. Its medium access control layer (MAC) is a carrier sense multiple access with collision avoidance (CSMA/CA) design and includes an exponential backoff mechanism that makes it a possible target for probabilistic model checking. In this work, we identify ways to increase the scope of application of probabilistic mode...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: EPiC series in computing
سال: 2023
ISSN: ['2398-7340']
DOI: https://doi.org/10.29007/5t69